1. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Gنdel's theorem,، Model theory
رده :
QA
3
.
L28
no
.
328
